Equational compactness of bi-frames and projection algebras
نویسندگان
چکیده
We generalize D. Kelly’s and K.A. Nauryzbaev’s results of 1-variable and 2-variable equational compactness of complete distributive lattices satisfying the infinite distributive law and its dual (“bi-frames”) to objects similar to monadic algebras (which we will call projection algebras). This will lead us in particular to an example of bi-frame that is not 3-variable equationally compact, even for countable equation systems, thus solving a problem of G. Grätzer. This example is realized as a certain complete sublattice of the complete Boolean algebra of regular open subsets of some Polish space.
منابع مشابه
Purity and Equational Compactness of Projection Algebras
The notions of purity and equational compactness of universal algebras have been studied by Banaschewski and Nelson. Also, Banaschewski deals with these notions in the special case of G-sets for a group G. In this paper we study these and related concepts in the category PRO of projection algebras, that is in N∞-sets, for the monoid N∞ with the binary operation m.n = min{m, n}. We show that eve...
متن کاملSome notes on L-projections on Fourier-Stieltjes algebras
In this paper, we investigate the relation between L-projections and conditional expectations on subalgebras of the Fourier Stieltjes algebra B(G), and we will show that compactness of G plays an important role in this relation.
متن کاملFUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES
In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کامل